Words language generated by CFLG is closed under union and concatenation. 上下文无关格值文法生成的词语言关于并与连接运算封闭。
In a lattice the definition of metajoin-ideal has been introduced, and the family of all metajoin-ideals is closed under arbitrary intersection as well as arbitrary union. 并引进了亚并理想的概念,且给出了格中亚并理想的任意交、任意并的封闭性。